🧪 Property-Based Testing - matmat · Scour

RM -RF: Reward Model for Run-Free Unit Test Evaluation

arxiv.org·1d

🔍Concolic Testing

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·5h

🔓Reverse engineering

A Winning Test Automation Strategy

dev.to·14h·

Discuss: DEV

⚡Proof Automation

CodeSOD: Validation Trimmed Away

thedailywtf.com·1d

✅Format Validation

Ensure correctness by changing when the first failure occurs

doliver.org·2d·

Discuss: Hacker News

🛡️Error Boundaries

Automated Tool Support for Category-Partition Testing: Design Decisions, UI and Examples of Use

arxiv.org·1d

🔍Concolic Testing

Software as clay on the wheel

dri.es·1d

⚡Proof Automation

Gauss is Not Mocked

notstatschat.rbind.io·9h

🔍Concolic Testing

Simulating Pots with LTSpice

hackaday.com·6h

⚡Homebrew CPUs

Graph-based refactor analysis for Go projects , Arbor v1.4

reddit.com·1d·

Discuss: r/golang

🔗Topological Sorting

Designing AI-resistant technical evaluations

anthropic.com·8h·

Discuss: Hacker News

⚔️Lean Tactics

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·21h

📊Static Analysis

Python Mock Frameworks

brunningonline.net·1d

No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2

pub.towardsai.net

·2d

BPF Verifier State Pruning: Timeline

pchaigno.github.io·2d

🛡️Archive Verification

Simplex, a workflow specification language for autonomous agents

github.com·1d·

Discuss: Hacker News

Four LLM Stress Tests

dev.to·13h·

Discuss: DEV

To assert() or not to assert()?

ilya-sher.org·3d

🛡️Proof-Carrying Archives

Filtering as domain logic

blog.ploeh.dk·2d·

Discuss: r/programming

🗄️Database Internals

Loading more...